The Johnson homomorphism and its kernel
نویسنده
چکیده
We give a new proof of a celebrated theorem of Dennis Johnson that asserts that the kernel of the Johnson homomorphism on the Torelli subgroup of the mapping class group is generated by separating twists. In fact, we prove a more general result that also applies to “subsurface Torelli groups”. Using this, we extend Johnson’s calculation of the rational abelianization of the Torelli group not only to the subsurface Torelli groups, but also to finite-index subgroups of the Torelli group that contain the kernel of the Johnson homomorphism.
منابع مشابه
The Second Johnson Homomorphism and the Second Rational Cohomology of the Johnson Kernel
The Johnson kernel is the subgroup of the mapping class group of a surface generated by Dehn twists along bounding simple closed curves, and has the second Johnson homomorphism as a free abelian quotient. We will determine the kernel of the map induced on the second rational cohomology by the second Johnson homomorphism in terms of the representation theory of the symplectic group.
متن کاملCup Products, the Johnson Homomorphism, and Surface Bundles over Surfaces with Multiple Fiberings
Let Σg → E → Σh be a surface bundle over a surface with monodromy representation ρ : π1Σh → Mod(Σg) contained in the Torelli group Ig. In this paper we express the cup product structure in H∗(E,Z) in terms of the Johnson homomorphism τ : Ig → ∧(H1(Σg ,Z)). This is applied to the question of obtaining an upper bound on the maximal n such that p1 : E → Σh1 , . . . , pn : E → Σhn are fibering maps...
متن کاملOn Infinitesimal Conformal Transformations of the Tangent Bundles with the Generalized Metric
Let be an n-dimensional Riemannian manifold, and be its tangent bundle with the lift metric. Then every infinitesimal fiber-preserving conformal transformation induces an infinitesimal homothetic transformation on . Furthermore, the correspondence gives a homomorphism of the Lie algebra of infinitesimal fiber-preserving conformal transformations on onto the Lie algebra of infinitesimal ...
متن کامل0 Fe b 20 00 Maps of Surface Groups to Finite Groups with No Simple Loops in the Kernel
Let Fg denote the closed orientable surface of genus g. What is the least order finite group, Gg, for which there is a homomorphism ψ : π1(Fg) → Gg so that no nontrivial simple closed curve on Fg represents an element in Ker(ψ)? For the torus it is easily seen that G1 = Z2 × Z2 suffices. We prove here that G2 is a group of order 32 and that an upper bound for the order of Gg is given by g . The...
متن کاملThe fundamental group and the first cohomology group
By a finite group cover of G, we will mean an M -definable connected group H with a surjective M -definable map H → G, whose kernel K is finite. The kernel K must lie within the center of H, because the action of H on K by conjugation yields a necessarily-trivial homomorphism from the connected group H to the finite group of automorphisms of K. If πi : Hi → G are finite group covers of G for i ...
متن کامل